Science of Logic

Results: 5317



#Item
21

Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2005-01-09 13:06:44
    22

    Prime Indicants: A Synthesis Method for Indicating Combinational Logic Blocks W. B. Toms, D. A. Edwards School of Computer Science, University of Manchester {tomsw,doug}@cs.man.ac.uk

    Add to Reading List

    Source URL: apt.cs.manchester.ac.uk

    Language: English - Date: 2014-05-13 09:16:47
      23

      ESSLLI08: Deontic Logic in Computer Science Part 2b/5: Normative Multi-Agent Systems J¨org Hansen and Leendert van der Torre Normative multiagent systems as a research area can be defined as the intersection of normativ

      Add to Reading List

      Source URL: icr.uni.lu

      Language: English - Date: 2014-12-05 12:20:25
        24

        Logic and the Methodology of Science June 2003 Preliminary Exam August 23, Let L be a finite first-order language whose formulae have been Godel numbered in some natural way. Let Sat be the set of all (Godel numb

        Add to Reading List

        Source URL: logic.berkeley.edu

        Language: English - Date: 2018-03-13 00:17:29
          25

          S HYANE S IRIWARDENA School of PHRS, University of Leeds, Leeds, LS2 9JT AoS: Metaphysics; Metametaphysics AoC: Logic; Philosophy of Language; Epistemology; Philosophy of Science; Ethics

          Add to Reading List

          Source URL: shyanesiriwardena.weebly.com

          Language: English - Date: 2018-02-19 09:54:40
            26

            A Non-monotonic Extension of Universal Moral Grammar Theory Gert-Jan Munneke () Institute for Logic, Language and Computation University of Amsterdam 107 Science Park, Amsterdam, 1090 GE The Netherlands

            Add to Reading List

            Source URL: mindmodeling.org

            Language: English - Date: 2015-07-27 15:59:02
              27

              The Natural Selection of Conservative Science Cailin O’Connor Department of Logic and Philosophy of Science University of California, Irvine Abstract

              Add to Reading List

              Source URL: cailinoconnor.com

              Language: English - Date: 2017-12-15 17:44:05
                28

                25th INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING KYOTO,AUG.20-22,2015 conference & program co-chairs : KATSUMI INOUE, NII / HAYATO OHWADA, Tokyo University of Science / AKIHIRO YAMAMOTO, Kyoto University

                Add to Reading List

                Source URL: ilp2015.jp

                - Date: 2015-05-22 20:13:35
                  29

                  Social deliberation: Nash, Bayes and the partial vindication of Gabriele Tarde∗ J. McKenzie Alexander Department of Philosophy, Logic and Scientific Method London School of Economics and Political Science

                  Add to Reading List

                  Source URL: jmckalex.org

                  Language: English - Date: 2016-05-18 05:44:23
                    30

                    A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

                    Add to Reading List

                    Source URL: drops.dagstuhl.de

                    - Date: 2017-09-01 10:27:18
                      UPDATE